How to Make Friends: A Logical Approach to Social Group Creation

This paper studies the logical features of social group creation. We focus on the mechanisms which indicate when agents can form a team based on the correspondence in their set of features (behavior, opinions, etc.). Our basic approach uses a semi-metric on the set of agents, which is used to construct a network topology. Then it is extended with epistemic features to represent the agents’ epistemic states, allowing us to explore groupcreation alternatives where what matters is not only the agent’s differences but also what they know about them. We use tools of dynamic epistemic logic to study the properties of different strategies to network formations.